Redirecting to Gelfand-Naimark-Segal construction