Explicitly test RSRS