Anagram implikacjom