4 ms·> propositions are not necessarily types could you expand on this?by uryga 7y ago> propositions are not necessarily types could you expand on this?