Revision Note
Definitions restyled.