7102 A Formal Punishment