From e8f5b6aed32fc7cf41c00216d0f18ef6c8e3a4d6 Mon Sep 17 00:00:00 2001
From: Boud Roukema <boud@cosmo.torun.pl>
Date: Sun, 19 Apr 2020 17:22:59 +0200
Subject: Principles - P4 verifiable inputs and outputs

One superfluous word was removed.
---
 paper.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'paper.tex')

diff --git a/paper.tex b/paper.tex
index b8201b9..41a856c 100644
--- a/paper.tex
+++ b/paper.tex
@@ -258,7 +258,7 @@ However, designing a modular project needs to be encouraged and facilitated. Oth
 The project should contain automatic verification checks on its inputs (software source code and data) and outputs.
 When applied, expert knowledge will not be necessary to confirm the correct reproduction.
 
-\emph{Comparison with existing:} Such verification is usually possible in most systems, but adding this is usually the responsibility of the user alone.
+\emph{Comparison with existing:} Such verification is usually possible in most systems, but this is usually the responsibility of the user alone.
 Automatic verification of inputs is commonly implemented, but the outputs are much more rarely verified.
 
 \item \label{principle:history}\textbf{History and temporal provenance:}
-- 
cgit v1.2.1

