PKD1 and autosomal dominant polycystic kidney disease: To test the causative role of complement activation in ADPKD progression, we crossed Pkd1–/– mice with C3–/– mice (both strains are on a B6 background) to generate Pkd1–/–C3–/– animals.