run :- a =:= 0.