fix next to prevent generating illegal numbers
fix num-less-eqo to finish when a variable is in the first position.
plus, not completely refutable.