an example (idea-format of syntax)
the simplest example for pfp