They just used the rule

 

v20221217