Tag: ruling out values in a rational expression