~ Not r←~y

r is the result of the scalar application of the (probabilistic) not function, 1 y 1 - y .