B och C som vilkor för A.