Loading paper
Inner products of 2-representations | Tomesphere