papetoast comments on kbear’s Shortform

[papetoast]

Just assume the formal theory(s) being used is sound :)