KRETZEL LOGIC