10 6 in addition to being work time optimal our erew algorithm turns out to also be time optimal