Propositions_as_some__Types