The mapping from logical operators to physical operators has roughly
completed. Nov.14 from Robert<Centos>.
Nov.15 morning.