The goal solved in place, against the libraries given: when the frame is left, the caller goes on with its own libraries (module calls)