program-assertion public under program-statement 2 List Picture As a command Nothing is filed under program-assertion.