[ fix ] Fixing the paper to match the more generic lps library
A little bit about the Bag equivalence tactics