Task: Misc.
Input (English): PersonX proves PersonY's case
Output (English): accomplished