added video to Proofessor, making things fixed that I broke
working on Proofessor copy