You are able to reason about your code with guaran...
# functional
r
You are able to reason about your code with guarantees