This template showcases the power of post-conditions through multiple scenarios you might encounter as a Clarity developer. - View it on GitHub