Code Editor : prove.1