I checked it, and it looks like it would violate r...
# rx
d
I checked it, and it looks like it would violate rule1 when observable1 has already emitted something before...