[sidereal.]

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