Facet theory methods