An algorithm should definitely have:

• A. finiteness
• B. output
• C. definiteness
• D. all of the above