Mizuko's Formal Introduction