Finished 2-tactic, started k-tactic on Cantor tree of spaces