Arora-Barak Web addendum on Williams' work