Add dotminus definition
Update some definitions, fix wrong
Add parts A,B. Add model and class definitions of B
Add o-notation