SUPERSET
POSTERIOR
NAMES
NP Problem
1
PRIOR
1
Closed Form
SUBSET