Text this: Four colors suffice :