Similarly, why not just `res`? (Why is "crt" important? What info does it convey.)