If we’re going to take an ontological approach, is there a stable non-tautological definition of “woman” that admits your definition of the subcategory?