enumeration; function scope
dynamic programming; bitmask; xor; lemma;