epsilon ate by

zero less ends up zero✕