nil protection in proof/recommendation show