# An ASPIC⁺ Implementation in Rust