Abstract syntax updated, begin vincula