Fundamentals of JCT Contracts