他们 履行 合同
Tāmen lǚxíng le hétong.
They've carried out the contract.