Add, s1, o1, R
Add, s2, o1, W
Query, s1, o1, R YES
Leak, o1, o2 NO