3) do you really not see how UAT is relevant to existence of a model with given properties?

6) so you think an OS is somehow a subsystem of software running on top of it?

I'm kinda tired of this; you were mostly not wrong in the beginning, but now you're acting like I'm trying to attack you