SUPERSET
POSTERIOR
1
Trace
NAMES
Identity Matrix
1
PRIOR
SUBSET