Revise #1: Imported some functions from Henry.