#---------- 3-to-7 quantification----------# foos := foo, foo, foo, foo?, foo?, foo?, foo?