Executed contract