Hopefully fixed a few bugs. There's some bugs left with the all quantifier...