Missing quantification fixed