From ae44dea2d99d2d6ad83d54d6ec32216cff0e1eec Mon Sep 17 00:00:00 2001
From: phannebohm <philip.hannebohm@fh-bielefeld.de>
Date: Tue, 3 Nov 2020 01:31:26 +0100
Subject: [PATCH 1/3] Paraphrase complicated negated sentence

---
 chapters/overloaded.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/chapters/overloaded.tex b/chapters/overloaded.tex
index 7d76bef31..8c6edcea8 100644
--- a/chapters/overloaded.tex
+++ b/chapters/overloaded.tex
@@ -139,15 +139,15 @@ \section{Overloaded Constructors}\label{overloaded-constructors}
   The operator C.'constructor' shall only contain functions that declare
   one output component, which shall be of the operator record class C.
 \item
-  For an operator recordclass there shall not exist any potential call
+  For an operator record class there shall not exist any potential call
   that lead to multiple matches in (1) above.
   \begin{nonnormative}
   How to verify this is not specified.
   \end{nonnormative}
 \item
   For a pair of operator record classes \lstinline!C! and \lstinline!D! and components \lstinline!c! and \lstinline!d!
-  of these classes both of \lstinline!C.'constructor'(d)! and \lstinline!D.'constructor'(c)!
-  shall not both be legal.
+  of these classes at most one of \lstinline!C.'constructor'(d)! and \lstinline!D.'constructor'(c)!
+  shall be legal.
   \begin{nonnormative}
    Hence, one of the two definitions must be removed.
   \end{nonnormative}

From c811f7315c838088855365569949f4ee690e8b78 Mon Sep 17 00:00:00 2001
From: phannebohm <philip.hannebohm@fh-bielefeld.de>
Date: Tue, 3 Nov 2020 16:12:58 +0100
Subject: [PATCH 2/3] Update chapters/overloaded.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>
---
 chapters/overloaded.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/chapters/overloaded.tex b/chapters/overloaded.tex
index 8c6edcea8..cf07e5dd7 100644
--- a/chapters/overloaded.tex
+++ b/chapters/overloaded.tex
@@ -146,7 +146,7 @@ \section{Overloaded Constructors}\label{overloaded-constructors}
   \end{nonnormative}
 \item
   For a pair of operator record classes \lstinline!C! and \lstinline!D! and components \lstinline!c! and \lstinline!d!
-  of these classes at most one of \lstinline!C.'constructor'(d)! and \lstinline!D.'constructor'(c)!
+  of these classes, at most one of \lstinline!C.'constructor'(d)! and \lstinline!D.'constructor'(c)!
   shall be legal.
   \begin{nonnormative}
    Hence, one of the two definitions must be removed.

From 94f03f9624436f3d2cf9e911c9af96aa0aca1909 Mon Sep 17 00:00:00 2001
From: phannebohm <philip.hannebohm@fh-bielefeld.de>
Date: Wed, 6 Jan 2021 14:52:30 +0100
Subject: [PATCH 3/3] Apply suggestions from code review

Co-authored-by: Elena Shmoylova <eshmoylova@users.noreply.github.com>
---
 chapters/overloaded.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/chapters/overloaded.tex b/chapters/overloaded.tex
index cf07e5dd7..d34a56575 100644
--- a/chapters/overloaded.tex
+++ b/chapters/overloaded.tex
@@ -146,7 +146,7 @@ \section{Overloaded Constructors}\label{overloaded-constructors}
   \end{nonnormative}
 \item
   For a pair of operator record classes \lstinline!C! and \lstinline!D! and components \lstinline!c! and \lstinline!d!
-  of these classes, at most one of \lstinline!C.'constructor'(d)! and \lstinline!D.'constructor'(c)!
+  of these classes, respectively, at most one of \lstinline!C.'constructor'(d)! and \lstinline!D.'constructor'(c)!
   shall be legal.
   \begin{nonnormative}
    Hence, one of the two definitions must be removed.