@Benedick: It's a mitzva, that you posted this.