Some support for the DBZ def