I am aware of the common aquatic plant Veronica anagallis-aquatica. But I have seen, on "The Plant List" website, a species called Veronica anagallis listed as an accepted name. Does such a species exist, or is this a contraction or abbreviation for Veronica anagallis-aquatica?