[polygamous_bat]

I haven’t checked the proof yet, but could it be possible that it’s using directed angles? Threw me off initially when I first learned it as well, but it can be handy for different configurations.

[qrian]

Looks like you are correct. I did not know about directed angles. Thanks.