I wonder if we should unify the two methods since the only difference is in output redirection. We could make this an argument...