Which of the following are true statements about stacks?

A. An abstract stack is defined to be homogeneous.

B. It is an error for the empty function to return true (for the stack to be empty).

C. A Stack is a LIFO structure.

D. A push routine always needs to check for overflow.

E. (a) and (c).

F. None of the above.