[zAy0LfpBZLC8mAC]

It is necessarily true because sending signals cannot block and queueing an unbounded number of signals would require unbounded amounts of memory.