預設推導方案: