"As it was” by Harry Styles is not both a song from Kanye West and needed to be written with words.
¬(Song(asItWasByHarryStyles) ∧ By(asItWasByHarryStyles, kanyeWest) ∧ NeedToBeWrittenWith(asItWasByHarryStyles, words))