formalize CTCP commands