information about Design by contract field