ruff

58f2fb3d - Project nominal class intersection receivers