automation tweaking w/ samth
removed manual disjsyl lemmas
better automation more