Properly build the KB (And instead of and); loop over todos in correct direction; pass correct args to Integral when do_elim is false
Properly build the KB (And instead of and); loop over todos in correct direction; pass correct args to Integral when do_elim is false

zaxtax/hakaru,zachsully/hakaru,zaxtax/hakaru,zachsully/hakaru