this is a bad name, perhaps `verified_subclasses`?