Lose a level of logic