The same arguments show that the Kähler ansatz is smooth along the entire $\mathfrak{D}_{1}$, although the smooth topology is not yet defined at the origin; this difficulty will later be resolved by shifting to the complex geometric viewpoint and doing a surgery to the Kähler ansatz.