Adding notes on theories & mutations