Finished defs structure