Descrizione della vita reale per (~ a-> a)-> a

Question

Si può dimostrare che la preposizione logica [:-(~ a-> a)-> a] è un teorema (sempre vero). Voglio sapere se qualcuno conosce una descrizione della vita reale per la preposizione sopra? Intendo un'espressione in computer, economia, matematica, politica o qualsiasi cosa che si adatta a quella preposizione.