K is a field extension with K ⊆ L and τ