nightly. Consistency2.tex seems solid.