> In this talk—and with this talk—I presented BoVeX, a new computer typesetting system that finally solves the AI alignment problem. It follows the tradition of Knuth's TeX, but with modern amenities such as requiring 128 gigabytes of RAM.