[tsimionescu]

They are, but the lawsuit was filed in 2018 when they were still in force. And the infringement is even older, so they can still claim damages for the whole period between AWS launch and 2020/2021.