Ex4 almost done, but not quite