CLIPS, PINS, RUBBERBANDS