Started Rule-Addition integration