@9rnsr I don't understand your comment. Why would they need to be impure if they can be inferred pure?