I suggest this construct is instead called a pattern - a split composition which encapsulates Over. One where the left tine of a fork branches to the left argument, and vice versa. This seems more sensible to me. --Faun (talk) 2:29, 20 September 2022 (UTC)