anand.kishore: photographers block
anand.kishore: subsets: A ⊆ B
anand.kishore: optimistic mirror