dummyContract: Contract = ...