ABCD is a parallelogram and EFCD is a rectangle. Also