squarer constraint. having a hard time actually getting these to run.
possible results of parallel execution of serialized procedures
possible values of x with concurrent execution.