might become clever enough to just stop working, once there is no more
work to do, we might have to revise this area in such time. */
might become clever enough to just stop working, once there is no more
work to do, we might have to revise this area in such time. */