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