Moved insert_into_list_works to InsertWorksProofs.