Every distinctive trait automatically qualifies as an essential differentia.