het is onmogelijk te bewijzen dat een slim contract veilig is