郊坛斋帝，礼乐祀天。