"Give faith a fighting chance." — Country song

"The proof uses modal logic, which distinguishes
between necessary  truths and contingent  truths."