moved R-RandomAccess to Deferred Requirements