proved everything but the composition