replaced lib 6.01, pset 11 further