the sketch of if AM is not = MY, then M is not the midpoint of segment AY.