Grounding of universally quantified conditinals added.