Runnable pseudo-code. Missing a todo.