Just and Weese II exercise 13.20 I'm wondering if the following exercise from Just and Weese's Discovering Modern Set Theory II is correct:
${\bf Exercise 13.20}$ Let $\kappa$ is an infinite cardinal. Suppose $\langle P, \leq\rangle$ is a p.o. with the $\kappa$-c.c. and $F$ is a $\kappa$-complete ultrafilter in $\langle P, \leq\rangle$. [Then] there exists $p\in F$ with no incompatible elements below  $p$... (p. 7)
A ${\it filter}$ on $\langle P, \leq\rangle$ is a subset of $P$ which is closed upwards and contains lower bounds for any two of its elements. An ${\it ultrafilter}$ is a filter which is not a proper subset of any other filter.
I ask because two exercises leading up to it are, seemingly, incorrect; and the only way I can think of proving Exercise 13.20 is by using them. In particular, Exercise 13.18(a) is:
... if $C$ is a finite predense subset of a p.o. $\langle P, \leq\rangle$ and $F$ is an ultrafilter in $\langle P, \leq\rangle$, then $F\cap C \not = 0$. (p.7)
This seems to fall foul of the following counterexample:
We define the following ordering $<^*$ on $\omega\cup\{\langle n, 0\rangle:n\in\omega\}\cup \{\langle 0, 1\rangle\}$:
$m <^* n$ iff $n< m$
$\langle n, 0\rangle <^* m$, for $m\leq n$
$\langle n, 0\rangle <^* \langle 0, 1\rangle$
Then $\{\langle 0, 1\rangle\}$ is a finte predense subset in the new ordering, but $\omega$ is an ultrafilter. 
 A: Suppose for every $p \in F$, there are incompatible conditions in $P$ below $p$. Inductively construct a fishbone $\{(p_i, q_i) : i < \kappa \}$ such that:
(1) For each $i < \kappa$, $p_i \in F$ and $q_i$ is incompatible with $p_i$.
(2) For each $j < i < \kappa$, both $p_i, q_i \leq p_j$.
At stage $i$, pick a condition $p \in F$ below all $p_j$'s, $j < i$. Then take a maximal antichain $A$ (of size at least 2) in $P$ below $p$ and notice that your ultrafilter $F$ contains exactly one of these conditions (since $F$ is $\kappa$-complete, $p \in F$ and $|A| < \kappa$) say $q$. Put $p_i = q$ and let $q_i$ be any other member of this antichain.
But now $\{q_i : i < \kappa\}$ is an antichain in $P$ which is impossible.
Addendum 1: List $A = \{a_i : i < \lambda\}$, where $\lambda < \kappa$. Suppose $F$ is disjoint with $A$. Then by maximality of $F$, for each $i < \lambda$, there is some $b_i \in F$ such that $a_i$ is incompatible with $b_i$. Using $\kappa$-completeness of $F$, pick some $b \in F$ below all $b_i$'s and also below $p$. But then, $A \cup \{b\}$ is a larger antichain in $P$ below $p$.
Addendum 2: Suppose $F$ is a $\kappa$-complete ultrafilter over a $\kappa$-cc separative poset $P$ and $p \in P$ is compatible with every member of $F$. Then $p \in F$.
Proof: Suppose first that there is some $q \leq p$ such that every extension of $q$ is compatible with every member of $F$. Then every member of $F$ is above $q$ as $P$ is separative. Hence the principal filter above $q$ is proper extension of $F$ which is impossible. To obtain such a $q$, consider a maximal antichain $A$ of conditions below $p$ which are incompatible with some member of $F$. Using $\kappa$-cc-ness of $P$ and $\kappa$-completeness of $F$, we can assume that there is some $r \in F$ which is incompatible with every member of $A$. Let $q$ be a condition extending both $r$ and $p$.
