bad file in details/logical.hpp