sophia: add index explain; prepare for checkpoint implementation