Added axiom to LL rule