Rand - Proof and Prooflike Issue