goal established open refuted / proved false ∧ gate — nose points at what it proves premise → gate (input) gate → claim (output) folded proven region failed / invalidated