Description: Dual statement of sylg (the final "e" in the label stands for "existential (version of sylg )". Variant of exlimih . (Contributed by BJ, 25-Dec-2023)