Task: Misc.
Input (English): move
Output (English): prove