add todo / proof comment