General Videos Introduction Method of Contradiction Determining the Value in a Given Cell: The S Move A Move Based on a Logical Property