This question is posed in Segal’s Law: *A man with a watch knows what time it is...

		cpeterso 79 days ago \| parent \| context \| favorite \| on: Three ways formally verified code can go wrong in ... This question is posed in Segal’s Law: A man with a watch knows what time it is. A man with two watches is never sure. https://en.wikipedia.org/wiki/Segal%27s_law