working on classifier proof