Nonfunctional implementation of pagination