Removed the use of RIFForAll Consequence.