Idle. Press Run to start the suite.

• ./cells/proof.f.mjs
• ./proof.f.mjs
• ./self_alias_loops.proof.f.mjs
• ./tail.proof.f.mjs