Formula <-> Name