propositionizes