finished the translation and constraints example