Topics Related to Contract, Safety and Sketching: