Some notes on NNH style formalization.