Adding the whole pattern of contract, missing post checks