WorkHorse: n <> 0 is a mathematical inequality, not an equality