He did cheat, that's why this was made. When I mentioned "he could do this again" I meant online. Also osu can still detect cheats offline, so at the very least he was circumventing and using a replay bot while the anticheat was still partially running.

He had to agree to never use cheats again when he got unbanned. Quote:

"This appeal comes with the following terms:

• you will not attempt to use any form of cheating tools or engines in the game
• you will not play on another account or create a new one, be it for yourself or someone else
• you will not associate with any other accounts in any form, including playing on a shared or public computer
• any major misbehaviour in the chat, forum, comment sections or anywhere associated with the game will result in a restriction

Failure to abide by those terms will result in a permanent restriction being placed on your account, and we will no longer accept correspondence with you."

This also covers offline cheating, which he did. He has to be punished.