template:formal:systems