finished even_number and even_number_spec