7/24/14 - rule8 without fSat conditions