a is true
b is true
c is true
d is false
