let is_zero = is_q Q.zero