(LeftFace b1 b2 f1 f2) +++ (BottomLeftLine b1a f1a) =
  (LeftFace b1a b1 f1a f1)
(LeftFace b1 b2 f1 f2) +++ (BottomLeftLine b1a f1a) =
  (LeftFace b1a b1 f1a f1)
(LeftFace b1 b2 f1 f2) +++ (BottomLeftLine b1a f1a) =
  (LeftFace b1a b1 f1a f1)