Once again, verify args with Precondition (and everywhere else)