WYCS: some minor tweaks for quantification over lists.
WYCS: well, trying to navigate the tricky waters of where am I versus where I want to be.