zh:template:formal:systems