hi:en:template:formal:systems