Implication Details

Assumptions: strict initial object

Conclusions: initial object

Reason: This holds by definition.