  Assumptions, instead, are analyzed into their components through  elimination rules that give, by and large, immediate consequences of  the assumptions. For example, a conjunction used as an assumption can be decomposed into its constituents, as in the rules