Finished constrained vars