More two’s complement fun from Ben Eater: https://youtu.be/4qH4unVtJkE
Also the encoding was just given, so the “subtraction by addition” part was missing.
I wonder if I will find the time to build his CPU. One of the best resources on YouTube, really.