9.4.1c storing and retrieving in TPSs