refactored some remaining messages into assertions, renamed xAt to xSlice