System contracts