General Subobjectclassifier

Style nit: add `Proof.` before this line.