This doc string might be confusing since this isn't really shown to students.