Abcd is a rectangle whose area is 12 square units. How many square units are contained in the area of trapezoid EFBA