rm non-E contexts & add 2-point toy lattice