CS208 Logic : The Dancer Paradox