Fixed 3col grounding, added strong constraints grounding