However, in the early 9th century the formative concepts which would become the core of "mainstream" Mikkyo—Shingon and Tendai—were brought to Japan, initially by the monks Kūkai (the founder of Shingon) and Saichō (the founder of Tendai), both of whom had traveled to China to study.