Yeah, they're different. I asked @davideaster about a way to synchronously get properties in the driver a long time ago, and he pointed me at <code>this.state.kernel.getProperty</code> which we're using in a couple places in the model driver. I don't remember the reason though.