Watchers of @deductive_reasoning