Fixed all quantifications