Final change in notation

Should work