let is_one = is_q Q.one