(20 Oct 21) Indices and the First index law