Implication Details

Assumptions: connected, groupoid

Conclusions: strongly connected

Reason: This is trivial.