Add KnownBoth