If EF = 6 and