Widened contract with more permissable exceptions