let empty_to_prop = PropMark.empty_to_prop