Core Solidity va a ser muy divertido de auditar