Finished internal representation for transitions