$ 0 0 They're not necessarily circular, but they probably necessarily have uncertain axiomatic assumptions, like just about everything