Companion note, version 1.20

Version 1.20 adds the five-dimensional case left open by Theorem 5.5.

• Proposition 5.6. For u ∉ Q̄ with ρ = uū algebraic and a ∈ Q̄ non-zero, let z = u/(u² − a) if aā ≠ ρ², or z = u/(u² − a)² if aā = ρ². Then W = Q̄ + Q̄u + Q̄ū + Q̄z + Q̄z̄ carries a 2×3 configuration, but no four-dimensional space Q̄ + Q̄u + Q̄ū + Q̄w inside it does; and for aā = ρ² the conjugation-stable space Q̄ + Q̄u + Q̄ū + Q̄·u/(u² − a) carries none.
• Remark 5.7. The configuration's shape is printed (Diaz 2004, Théorème 2; Diaz 2007, Théorèmes 6(1) and 7(1)), and so are, up to one substitution, its consequences at a candidate: u/(u² − a) ∉ ℒ̃ is Diaz 2004, Théorème 2 at x = (u, ū), and u/(u² − a)² ∉ ℒ̃ is Diaz 2007, Théorème 6(3). That the configuration is invisible to the four-dimensional spaces of Theorem 5.5 was not found in the sources read.
  Five new formal results (milestones 108–110 on the Diaz mission); the mirrored project holds all 364.