Exercises of isabelmch13