Added sequential composion associative laws.