Specifications for Contract B