Yes, I initially had a footnote for that there, but then you need to define which return values are "compatible". I couldn't really find a useful definition here.