@misc{indiciae8443726bacff,
  title = {Knocking Down Boxes: The FMP for \$\textbackslash{}mathbf\{K\} \textbackslash{}oplus \textbackslash{}Box\textasciicircum{}\{m+k\} p \textbackslash{}to \textbackslash{}Box\textasciicircum{}m p\$},
  author = {Søren Brinck Knudstorp},
  year = {2026},
  doi = {10.1017/jsl.2026.10248},
  url = {https://arxiv.org/abs/2510.00864},
  note = {Source identifier: 2510.00864}
}