contraints, re-iterations and petscii