nim-dagger/codex/slots/proofs.nim