assignment post-assignment