New problem (resolved)
First draft of problem8
Better reduction