Last time we saw some models for computation, and saw in turn how limited they were.