I always thought of them as synonyms, but googling around found that some people see them as different, with the distinctions changing depending on who you ask.

Is there a formal distinction between them? If so, what's the difference?