Taking the (3z(BOof!(3y (BOut of Proofss - Alexandr Draganov (Taylor and Francis, 2024)