Static contracts