Cleaned Ex4_3 up a bit