Spell: Mathematical logic