Recreated proof of no 1-tactic