Bayan determines or clarifies intended meaning through distinct methods: taqrir, tafsir, taghyir, darurah, hal, 'atf and tabdil.
Taqrir reinforces an established sense; tafsir resolves ambiguity; taghyir modifies an initial reading by a connected condition or exception. A connected exception is not always equivalent to a wholly separate later statement.
Darurah concerns a necessary implication where explicit speech is absent; hal turns on the circumstances; 'atf on coordination of the words; and tabdil on replacing or ending an earlier legal provision.
These categories cannot be collapsed into an undifferentiated notion of clarification because their requirements and consequences differ.