The Rand formula (also referred to as automatic check-off) refers to a workplace situation where payment of labour union dues is mandatory even if the worker is not a member of the union. The name comes from Supreme Court of Canada Justice Ivan Rand, who introduced this formula in 1946 as an arbitration decision ending the strike of Ford Motor Company's employees in Windsor, Ontario. The Rand formula has been officially implemented in Canadian legislation and in other countries.