The implementation basically means making cell names valid rather than quoting them. This involves unification.