Jul 12, 2013 10:48 PM

It's "defined" at the beginning (It's true, because it says it's true)