[see also: say, assert, state, determine, decide]
A direct application of Theorem 4 only tells us that ......
From the theory so far, we cannot tell if all four points are in the same Nielsen class.
To tell whether a labelled partial order is a skeleton, it suffices to look at its substructures of size at most three.
Go to the list of words starting with: a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z