Definitions restyled and rearranged.