created, $=dv.current().file.ctime & modified, =this.modified
The paper introduces the concept of a mustard watch, a common generalization of the concepts of watch and of mustard pot. The main property of a mustard watch is they can deliver mustard into any desired quantity and still display the time with the precision of 30 seconds. But the real superiority of a mustard watch over classic ones is expressed by our theorems 3: a mustard watch with no mustard in it is at least as precise as an ordinary one.
Classical watches display time but can do hardly anything else.
The concept of a mustard watch comes from this basic observation. They combine advantages of watches and mustard pots: accurate display of time with critical amount of mustard sufficient to cope with emergencies.
Definition 2: a mustard watch is said to be proper when the amount of mustard in it is non-zero; it is said to be degenerated otherwise.
How do you know the time of the display? Another watch called a metawatch is needed.
A mustard watch which is its own metawatch is degenerated proof: the basic idea is to imitate the proof of Godel’s second incompleteness theorem. In fact using a fixed point construction it is possible to show that in such a watch the value of zo second cannot be kept constant during resettings, contradicting the conclusion of theorem 2.