Does anyone know if Lima vulgaris (Link, 1807) is a distinct species or is it considered a subspecies (or variety) of Lima lima? Thank you! GG