Because "what to prove" is fundamentally bound in a value judgment, not merely the mechanistic application of reasoning.