the start of Ex4