In Canadian labour law, the Rand formula (also referred to as automatic check-off) is a [situation where the payment of trade union] dues is mandatory regardless of the worker's union status. This formula is designed to ensure that no employee will opt out of the union simply to avoid dues yet reap the benefits of the union's accomplishments (such as ensuring higher wages, better job security or other benefits).