Wrote more Qf tests, worked more on redundant quantification