Rewrite the operation definitions for the Buttons and Lights World to deal with the possibility of simultaneous execution of all three actions a and b and c. Assume that these actions have their usual effects when done independently but result in all three lights turning off when all three buttons are pushed at the same time.