(Deleted to save space.)