Hand or Hammer? On Formal and Natural Languages in Semantics