if a and b are mutually exclusive, then

efin application denied