When you are using an nmos inverter with a saturated nmos load, what were the two types of high output voltages we discussed (simplified vs realistic)?