PKD1 and autosomal dominant polycystic kidney disease: First, iKsp‐Pkd1−/− mice are an established model to study electrolyte levels in the context of ADPKD (Verschuren et al., 2018).