generate_and_check