建文二十一年冬十月,月君临轩,命郑洽、程智二人赍奏行在,并谕之曰:“孤家已发符敕,调遣各郡将士,俟会齐之日,即行北伐,克取燕山祗候回銮。尔其代奏。”郑、程二使遵命叩谢出朝,又别过百官,自赴滇中狮子山白龙庵,面帝复命去了。