Is Plutus Core pure? It can throw exceptions