That orgy of wishful thinking that has passed for logic in the present century. — F.W. Lawvere. American mathematician and philosopher (1937–2023)