to_face: Goal ~> Goal