This is consistent since by definition ππππππ=πΏππ.
Iterating this process, we can raise and lower arbitrary indices of any tensor field.
Musical notation
These isomorphism given here is sometimes called the musical isomorphism where we use the notation