substitutability, tabs case.