Description de la vie réelle pour (~ a-> a) -> a

Question

On peut montrer que la préposition logique [: - (~ a-> a) -> a] est un théorème (toujours vrai). Je veux savoir si quelqu'un connaît une description de la vie réelle pour la préposition ci-dessus? Je veux dire une expression en informatique, en économie, en mathématiques, en politique ou tout ce qui correspond à cette préposition.