The doob machine