If 'what X is' necessarily invokes extrinsic efficient causes, then definitions of natural kinds wou...