ALDH1A3 and microphthalmia: Several mouse mutant lines are available for Aldh1a3, and they suffer from various eye diseases, but microphthalmia is not a term, which is used to characterize their phenotype.