occurs_check_results(1, def).