discussion:hi:template:formal:systems