inde (Extended Version)

Inde (Extended Version)