More VE and Lambda refinement.