Constraints
Categories
t1t2fk
t2pk