Fix the missing quantifier — find the bug

Output ready when you are

Press Run to render your code, or Submit to validate your solution.