// Properties: 
P=? [ true U (active0=0) ]
P=? [ true U (active1=0) ]
P=? [ true U (active2=0) ]
P=? [ true U (active3=0) ]
P=? [ true U (active4=0) ]
P=? [ true U (active5=0) ]
P=? [ true U (active6=0) ]
P=? [ true U (active7=0) ]
P=? [ true U (active8=0) ]