Exterminatus by fact and logic