Mercury documentation, version 11.07.2