> postcondition instead of precondition. How can you verify as a precondition instead of a postcondition? You can't verify anything until the act has been comp

> postcondition instead of precondition. How can you verify as a precondition instead of a postcondition? You can't verify anything until the act has been completed.