The statement "A red light means stop." is true because That is conventional, and widely used.