add boolwidth explorer