Comment by Godel_unicode

This is a distinction without a difference.