contracts atop examples on handout sols