Symbolic frameworks — Aetia