[sidereal.]

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