specifying that a method could throw an exception