The contract specifies red tiles, not slates, for the roof.

• 合同中规定屋顶要用红瓦而不用石板瓦。