The programming model and the implementation are not 1:1. This thread is mostly about the model; we can talk about implementation below :)