BC for Logic QUICK-LIST