Super-Trace-category-square.