You are incorrect. The bikeshed is not red, it is yellow!