Update zeno results with proper definition of <