( talar ) Beviset för logiken : ( läser)