A statement that can be proven?