(Anomalous double-post)