lecture notes on prop and po