Comment by qcoret

Unicorns also don't exist, but we don't change the definition to include horses.