prove cheat in distinct_bool_fun