abstract: that user -> the user