quantifications

not defined yet