Reworked grounding and optimized abstraction.