Redirecting to Wightman axioms