I’m not sure about the companion function, but if ...
# arrow
p
I’m not sure about the companion function, but if it’s because of a law then I can understand its inclusion.