Although, referring to a separate argument (and assuming that still is taken at exactly the right moment), if we were playing with the proposed daylight rule it would be extremely marginal and we'd need to be getting the set squares and compasses out to check it.