Dead-end: not combining RFull correctly