The pulldown on the SAADC is 160k. Is it ok to create a resistor ladder by adding an external resistor of, say, 400k, enable the internal pulldown and then input a higher voltage on the other side of the external resistor? This should be ok as long as the voltage divider created results in a voltage < VDD on the input pin. Right?