rename R.alwaysTrue and R.alwaysFalse