lectureproof

not defined yet