 Rowe uses the letter ‘J’ “to stand for the property a good has just in case obtaining that good would justify an omnipotent, omniscient being in permitting E1 or E2” (1991, 73). When this is done, the above inference can be compactly represented as follows: