Evaluated m [lpics Teridax] {x {. $x: [heads $x] }} \n