subpropositions