Since you have the latter to explain the former, you don't also need 'exist' to be polysemic."
מאחר שצריך את ההבדל השני כדי להסביר את ההבדל הראשון, לא צריך להיות "קיים" כדי שתהיה פוליסמיה."