modify bool.hpp