% From The Art of Eyepl, Chapter 26 — Proof objects and proof checking.
triple(3, 4, 5).