Given a set

of

points in the plane, the
reflexivity of

,

, is the minimum number of reflex vertices in a simple
polygonalization of

. Arkin et al. proved that

for any
set

, and conjectured that the tight upper bound is

. We show that
the reflexivity of any set of

points is at most

. Using computer-aided abstract order type extension the
upper bound can be further improved to

.