Plan P1

Plan P2

Plan P3

a = false
b = false
c = false