updated testE.idr