Added (broken) conditioning with forall
alalalala
Merge remote-tracking branch 'origin/AAAI' into AAAI