nested quantifications now work but require explicit parenthesis