Not necessarily from primitive propositions.