Add somagic and somagic-tools formulae