a exists
b exists
the value of b is defined
c exists
the value of c is defined
the value for c is true