So we've done what we wanted to do, we've shown that if you start with any arbitrary triangle, triangle ADF, triangle ADF, we can construct a triangle BCE, we can construct, construct a triangle BCE, so that ADF, ADF is triangle BCE's medial triangle 