discussion:la:template:formal:systems