Re: [spam][crazy][fiction][random] Non-Canon MCBoss Spinoffs

[Undescribed Horrific Abuse, One Victim & Survivor of Many]

so, we could maybe define a complete proving system
where proofs are implicit and checking them is the action of
enumerating everything that can possibly happen and comparing the
statement