michael@0: michael@0: michael@0:

This should be purple.

michael@0:

This should be blue.