isKnown() now almost O(1) (aaalllmost)