Write first version of descriptions of Split, Subsumption, Pebbling