Have generate_eq return a max rhs