Added composibilty section; in progress