formalized syntax on templates