Entering the laboratory…

multiplication-commutativity