Compiling Classical Sequent Calculus to Stock Hardware: Duality of Compilation [video]