Proposition: Al knows only Bill

This is an example from my textbook:

Translate the proposition "Al knows only Bill" into symbolic form. Let’s use K(x, y) for the predicate x knows y. The translation would be K(Al, Bill) ∧ ∀x (K(Al, x) → (x = Bill)).

Why do we need:

K(Al, Bill)

isn't this enough:

∀x(K(Al, x) → (x = Bill))

?

• If AL does not know Bill then the implication is still true – David Peterson Oct 17 at 4:58

If the proposition $$Q$$ is true, then $$P \rightarrow Q$$ is true regardless of whether $$P$$ is true. In particular, $$K(\text{Al}, \text{Bill}) \rightarrow (\text{Bill} = \text{Bill})$$ is true regardless of whether Al knows Bill. You need $$K(\text{Al}, x) \text{ iff } (x = \text{Bill})$$.