propositions

Parameters

propositions

how many propositions were re-embedded