/* Keep the local proof close to Madaar's quiet, dark reference style. */