Not being obtuse, just lacking knowledge. Can you cite examples where it's worked? Or are you missing the /sarc tag?
https://www.qproofs.com/