You can declare only when someone else already has performed the imperative chore, i.e. written the source code, programmed.
Q.E.D.