So, pretty much, wire the Portenta from 3.3V and have 3.3V go to the sensor at the corresponding pin, pull-down resistors, etc. On the other hand, for the Nano Every, 5V is fine. That way, the I2C lines are correct in both cases, right (assuming separate boards, ignoring everything previously mentioned)?