plato_constraints
