Live Logic Modeling