Scope和Bound是硬性闸门，Know和Observe是软性控制，Prove介于两者之间。