[sidereal.]

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