What should happen when a player receives a red or yellow card? Standard published on August 10, 2014