$P(x,y)$ is a predicate function meaning that person $x$ has read person $y$'s book.
Now I want to say there exists only 3 people having read person $t$'s book .
How can I state it with quantifiers?
Is this ok? : $\exists! x\exists! y\exists! z(P(x,t)\land P(y,t)\land P(z,t))$