Fix for empty propositions