Assumptions: mono-regular, regular subobject classifier
Conclusions: subobject classifier
Reason: This is obvious.