Try to fix nested atomic propositions