Lotnest and RULEXXX