rota (30.17 Elementary)