At present, yes, lazy propagation. But we're also exploring ways to do proactive propagation where desirable.