ha warit riktiga Tycho-Brahedagar för dem.