~R~.sats