Renameing Logic Complete Yesh