In addition, Alice syntax is fairly useful. Noted for revision.