surdei lujvo

x1 is the Sabbath, the day on which x2 rests.

see also redgaudei, tedydei, trudei