[[Property:title|Postcondition]]
[[Property:weight|7]]
[[Property:uuid|b8196d6c-2a0f-c06e-855f-d9fe23cbe950]]
Enter a postcondition in the <code>ensure</code> field. A postcondition clause will be added to the feature: 
<code>
    ...
        ensure
            n = count</code>