propositionalized