Task: Fact Verification
Input (English): Elementary arithmetic operations can use Addition.
Addition is an elementary arithmetic operation
Output (English): True