Add INDEX procedure and specs