hi:template:formal:logic