a b s t r a c t
d u p e r e l i s m
i n d i r e c t p r o o f