a collection of examples using pobp