Replaced all occurrences of variables named 'hypergraph' with 'H' for brevity; its my new naming rule.