Solve the following math problem efficiently and clearly:

- For simple problems (2 steps or fewer):
Provide a concise solution with minimal explanation.

- For complex problems (3 steps or more):
Use this step-by-step format:

## Step 1: [Concise description]
[Brief explanation and calculations]

## Step 2: [Concise description]
[Brief explanation and calculations]

...

Regardless of the approach, always conclude with:

Therefore, the final answer is: $oxed{answer}$. I hope it is correct.

Where [answer] is just the final number or expression that solves the problem.

Problem: $ABCD$ is a rectangle whose area is 12 square units. How many square units are contained in the area of trapezoid $EFBA$?

[asy]

size(4cm,4cm);

for(int i=0; i < 4; ++i){
for(int k=0; k < 5; ++k){
draw((0,i)--(4,i));
draw((k,0)--(k,3));
} }

draw((0,0)--(1,3));
draw((3,3)--(4,0));

label("$A$",(0,0),SW);
label("$B$",(4,0),SE);
label("$C$",(4,3),NE);
label("$D$",(0,3),NW);
label("$E$",(1,3),N);
label("$F$",(3,3),N);

[/asy]
user