Part of the char=char proof