The Core System for Contracts and Operations