FOXK2 and ptosis: Regarding the phenotype of the mice, it is important to note that while Foxk2 homozygous knockout mice showed developmental abnormalities in skeletal muscles throughout the body, including the eyelids, they did not exhibit a ptosis phenotype.