Allin logic