[sidereal.]

[#2] <= [#3] => [#4]