minor changes: hypernation, some notation, 2nd point background