Special:EditPage/Wightman axioms