FIX: Quantificator is too greedy