Inserted dummy propositions.