This user knows about the difference between integral and antiderivative.