Task: Misc.
Input (English): possible
Output (English): provable