define polite_num
add argument for find_polite_num
add equation to pass first spec