r222
The A-vertex of the Johnson triangle is concyclic with B, C and the orthocenter H.