changes, fixed some notation, etc... etc...