template:formal:logic