On true sentences