(BTW, moving these inline makes it less clear IMO.)