a is defined a does exist b is not defined b does exist c is not defined c does not exist