Van Rijsbergens original paper used the function symbol
E
rather than the
F
we use here. The substitution is made to maintain the
E
effectiveness mnemonic.