create/modify test file
create a method for quontifier exists1