docs: private Proctor getProctorNotNull() {
          final Proctor proctor = proctorLoader.get();
          if (proctor == null) {
              throw new IllegalStateException("Proctor specification and/or text matrix has not been loaded");
          }
          return proctor;
      }