Checking your sessionAxiom