WYCS: thinking about how to deal with list quaantification.