Computation model, almost finished