@ProfKinyon hah hah, in some proofs it's indeed inferno