https://lisa.blog/2006/10/10/contract_extension/