Rewriting BAL
Repairing weight notation