Spell: OTA foundations of theory and practice