lemming logic