let empty_to_prop = ([], [])