let's fix the unsafe problem. use is_cond