diff -r 7412424213ec -r 49cc1af89de9 Quotient-Paper/document/llncs.cls
--- a/Quotient-Paper/document/llncs.cls	Mon Jun 21 06:46:28 2010 +0100
+++ b/Quotient-Paper/document/llncs.cls	Mon Jun 21 06:47:40 2010 +0100
@@ -1122,7 +1122,7 @@
 \spn@wtheorem{note}{Note}{\itshape}{\rmfamily}
 \spn@wtheorem{problem}{Problem}{\itshape}{\rmfamily}
 \spn@wtheorem{property}{Property}{\itshape}{\rmfamily}
-\spn@wtheorem{proposition}{Proposition}{\bfseries}{\itshape}
+\spn@wtheorem{proposition}{Proposition}{\bfseries}{\rmfamily}
 \spn@wtheorem{question}{Question}{\itshape}{\rmfamily}
 \spn@wtheorem{solution}{Solution}{\itshape}{\rmfamily}
 \spn@wtheorem{remark}{Remark}{\itshape}{\rmfamily}