moved July 25th demo presentation and started lab4 solutions.