a is false (OK)
b is true (OK)
c is false (OK)
