abstract E-step