4.1 干预与do演算