Reproving (2)