Demo for using PINQ