expt4's code is updated