TLDR: Indicates that a type or method is pure, that is, it does not make **any** visible **state** changes. See https://docs.microsoft.com/en-us/dotnet/api/system.diagnostics.contracts.pureattribute?view=netframework-4.8