unless ( is_input_valid() ) { report_bad_input(); }