Is the goal logical?