Spell: Theory of computation