Is a contract assumed to be a destination contract?