Introduction to Pull logic

Introduction to Pull logic - PAR