A. Correctness and finiteness only
B. Finiteness and efficiency only
C. Correctness, finiteness, and clarity
D. Correctness and hardware dependency