Cleaning up properties of interleaving