let
empty_to_prop = ([], [])