ESlightly modified the supplementary explanation concerning the term "positive automorphism" in the discussion of 
@Definition 6.11, (i)