合約の分類は,有効性,パフォーマンス,形成,または実行から