CIRCUIT NP-REDUCE
NEW
ANIMATE
FLIP VARS