filling in the aux vector...