Theorem #1: “Justifying steps” ought to be an opaque, frustrating process.