Updated strong rules (correct expansion of beta between different lambdas (with different number of active cols).