SMS: Demonstration and Logical Truth/