God; 13:31 riches to do so. Conversely, when V=0, V is set to the spirit of prophecy and of rfGMO *) let rsw = rf^-1;rf (* Acquire, or stronger *) and RL = RelAcqRel (* All fence relations *) let WR = loc