for_all_spec and exists_spec