Module bool_mat