PTEN and prostate intraepithelial neoplasia: The most obvious mechanism of PIN lesion formation in Pten+/– mice would be a loss of function of the remaining wildtype allele.