Topics Related to Contracts, Design and Local Properties: