We should be specific about which checked exceptions we might throw.