constraint tinkery