[Quekid5]

Yeah, conjectures. I think I got mixed up because there's a theorem about the non-trivial-conjuectures-are-unprovable thing :)