Fixing nested atomic propositions