Taboo "theorem", "theory", "hypothesis". There are only heuristics more or less useful for computations at each level of abstraction.