Added some notes on space and ATP