契約函數