@LogicDriven 1)