more valLlsts, with equiv