*
<M ==> P>.
M.
P?
6
*
<P ==> M>.
M.
P?
6
*
<M <=> P>.
M.
P?
6