Assumptions: self-dual, subobject-trivial
Conclusions: quotient-trivial
Reason: This holds by self-duality.