CatDat

Implication Details

Assumptions: multi-complete

Conclusions: multi-terminal object

Reason: This is trivial.