그냥 구문론적으로 참인게 의미론적으로도 참이면 건전한거라니까