Modifications to Implication (world description)