Vid det anförda exemplet hade Red.