fixed r-arities