add seteq goal