+ Minor modifications
+ Earlier forcing