Finished algorithm U