forget to change generate_all to check_all