formalisation of contract horizon