Fixed bug in applying axioms for LL operation