Processed Definitions