  ok   fat + 2 points: 5 random embeddings with finite base scheme of length 5: (dim D3, dim K, rank) = {(5, 8, 3)}; rank 3 in 5 of 5
  ok   fat + double point: 5 random embeddings with finite base scheme of length 5: (dim D3, dim K, rank) = {(5, 8, 3)}; rank 3 in 5 of 5
  ok   nG4 + point: 5 random embeddings with finite base scheme of length 5: (dim D3, dim K, rank) = {(5, 8, 3)}; rank 3 in 5 of 5
  ok   L5a (uw,u^3,w^3): 5 random embeddings with finite base scheme of length 5: (dim D3, dim K, rank) = {(5, 8, 3)}; rank 3 in 5 of 5
  ok   L5b (u^2,uw^2,w^3): 5 random embeddings with finite base scheme of length 5: (dim D3, dim K, rank) = {(5, 8, 3)}; rank 3 in 5 of 5
  ok   L5c (u^2,uw,w^4): 4 random embeddings with finite base scheme of length 5: (dim D3, dim K, rank) = {(5, 8, 3)}; rank 3 in 4 of 4
  ok   Sigma_4 (nG4 alone, random hyperplane V of (I_B)_3 with base scheme B): 6 samples, (dim D3, dim K, rank) = {(5, 7, 3)}; rank 3 in 6 of 6
  ok   control Sigma_CI: (dim D3, dim K, rank) = {(5, 7, 2)} on 4 embeddings (rank 2 expected: Lemma D.3 does not apply)
checks: 8
ALL CHECKS PASSED
