Constraint Pulse

A shader field listens to a background search for small models. When one fits your quantifier chain, it flashes and plays a chord.