what medical specialty does john holter have?
(AND medicine.medical_specialty (JOIN medicine.medical_specialty.physicians_with_this_specialty m.023pp2))