 If we apply PLUG2 to the individual denoted by ‘b’ and the (two-place) relation denoted by ‘R’, we get a one-place relation that makes the first instance of the schema true; and if we apply NEG to the denotation of ‘P’, we get a one-place relation that makes the second instance true.