Algebraic specification conjecture for quasi-admissibility in the Belgian Chocolate Problem
Algebraic specification conjecture. For all nnn, [?][?][?] is quasi-admissible by some x,y,zx,y,zx,y,z that are formed via algebraic specification.