Wow! Yes! That is all correct. Much of the Expedition Series relies on various voltage algebra techniques like this to achieve its more advanced analog functions. All the circuits have precision 1.00V buffered references, so we use those a lot for level shifting tricks.
Are you adapting the concepts to software or code you’re working on?