- Added prolog notes