added justifications for merging transitions
kai is good