From: Tom Murphy This week we implemented contraction ("factoring") and have come to a conclusion on the representation of rules that we will use. - Tom and Team Red