[
  "ABCD is a rectangle so all its angles are 90 degrees.",
  "Angle ADE = angle ADC (90) + angle CDE (from diagram).",
  "Opposite angles of a parallelogram are equal, so angle AFE = angle ADE."
]