CS208 2020/21 Logic : The Dancer Paradox