When performing multiplication, the 2 operands could be swapped and the result would still be the same. For example, 4 x 7 is the same as 7 x 4. But in hardware, one of them is significantly faster than the one. Could you think of some checks the hardware needs to put in place before performing the multiplication? Please write one of these checks in pseudo-code.