This was posted on Trurh. It probably originated here but just in case, I’ll post it for new eyes. Very cool Q proofs.