Added some notes on where and what we need to implement for Pascal sets.