Contracts Analysis