Hah. Not sure I've ever seen relational algebra abbreviated that way, but yeah. It makes sense.