Better output from showproofs - now shows a rule name which makes more sense to the user.