re-export LEM from HPropLogic