en:template:formal:games