These defs should all have a blank line before them.