Monophyletic definitions