Only uninstantiated properties decomposable into simpler instantiated properties can be rendered tru...