Actually implemented the tactic
Split extension and test
documentation
oops, missing syntax