Generalization of fixated "behavior in the rat. Errata: p. 7, par. 2, line Jl change first "they", to "their strengths", also, "they can "be increased in strength" to "the strength can "be increased".

• The transitivity theorem, in Proposition 1 of Quickr, has a revision in item iii. The revised version is Proposition 5 in this document. • Definition 1 in Appendix B.2, which defines dominance, has a revision in the condition for c-dominance. The revised version is Definition 1 in this document. We also offer new definitions of equivalence and weak equivalence. • The dominance pushdown rules ...

An error in the program for verifying the Ankeny-Artin-Chowla (AAC) conjecture is reported. As a result, in the case of primes p which are ≡ 5 mod 8, the AAC conjecture has been verified using a different multiple of the regulator of the quadratic field Q(√p) than was meant. However, since any multiple of this regulator is suitable for this purpose, provided that it is smaller than 8p, the main...