A Specification for the Unchained Index