Gelfand–Naimark–Segal_construction loading ...