use lem auxiliary_level none everywhere