Defined eliminator for 2-HITs.
“Added” 2-computation rule
Wrote some stuff.