Ho hum.
Another synthetic a posteriori.