let
empty_to_prop =
PropMark
.empty_to_prop