I hemtal2, får vi använda oss av en till kvantifikator, dvs. "unique existential quantifier" \(\exists!\), som är beskriven här (p.4)? Den är väl också en del av predikatlogiken?