new constraints, writeup