to organize the include, it was replaced by the integral of bool