Do two_loops exercise in Hoare2
Do the power series exercise in Hoare2