hasReceivedLockedMessage can not be negative