added to Strings[] facts