"Dimetrodon" se considera un esfenacodontos bajo esta clasificación, pero los varanodóntidos son considerados sinápsidos basales y se clasifican fuera de los esfenacodontos.