Pink, green, yellow, and blue elephants