FORMAL INDEX