propositionis