The Algebra Of Contracts