assignment4 refinements