LiftOneLevel LetIn3 now passes