Quitz logic