A Introduction of do calculus