Rho-Lex doesn't have any sets.