pseudocoded rest of alg