Get propositions fix