rewrote naively Ev4.hs