3 ms·That's a result of the Curry Howard Lambek isomorphism. So I'm afraid it's not a new rule. :-)by joostdevries 10y agoThat's a result of the Curry Howard Lambek isomorphism. So I'm afraid it's not a new rule. :-)