There should be no red
XXX