Contract Analysis