Removing some old tactics.
Removing dependency
Removing admit.
Cleaning up