attribute aliases, refactoring of PageCountFuture