Naiker - Proofs