propositionizing