All kinds of logic is hierarchical. Some use cases are mutually exclusive, which translates to them being nested under different states.