All logic is now set logic.