rhs replacement binarized