Hacker News Reader

Good point! "Whenever" is probably even closer to the correct meaning.

Agreed, "whenever" expresses a necessary implication, while "provided" expresses necessary but not necessarily sufficient prerequisites.