@alig it's used pervasively in the lower case in this PR - do you think upper case is the right convention? If so, @RongGu this is something to look at in a few places :)