Replaced logic symbols with their word versions.