add easy parts. miss graph, proof and exo.