Corrected information on when clause-weights are zero.
Made unassign-loops more explicit.
Editorial.