additional work on aliasing