What is the line between "this is obvious and doesn't need to be proven" vs. "Not obvious enough and needs proof" and how is it drawn?