Maybe we should formalize short versions of "definition" and "transformation"? I try to use the full length name, but at times I shorten "transformation" to "tr". Would be good if we tried to use full length names - but at least agree on some common abbreviation where it makes sense.