This derivation is now complete. It shows that A ⊃ C follows from the assumptions A ⊃ B and B ⊃ C. All lines are green, except for the original assumptions, and the first line of the subderivation.
