be a time-system such that the level

contains

and

, and let these rects be the axes

and