(FrontTopLine f2 f3) +++ (BottomFrontLine f1 f4) =
  FrontFace f1 f2 f3 f4
(FrontTopLine f2 f3) +++ (BottomFrontLine f1 f4) =
  FrontFace f1 f2 f3 f4
(FrontTopLine f2 f3) +++ (BottomFrontLine f1 f4) =
  FrontFace f1 f2 f3 f4