sketch proof q4