Logiska Bewiset ; 2S sidd.