// TODO(angelapwen): Test run() here