Tactics on hypothesis