assumption3