Ethical naturalists contend that moral truths exist, and that their truth value relates to facts about physical reality. Many modern naturalistic philosophers see no impenetrable barrier in deriving "ought" from "is", believing it can be done whenever we analyze goal-directed behavior. They suggest that a statement of the form ""In order for agent "A" to achieve goal "B", "A" reasonably ought to do "C""" exhibits no category error and may be factually verified or refuted. "Oughts" exist, then, in light of the existence of goals. A counterargument to this response is that it merely pushes back the 'ought' to the subjectively valued 'goal' and thus provides no fundamentally objective basis to one's goals which, consequentially, provides no basis of distinguishing moral value of fundamentally different goals.