diff --git a/tRules.tex b/tRules.tex
index dd523fa..ea2e6b8 100644
--- a/tRules.tex
+++ b/tRules.tex
@@ -45,11 +45,11 @@ $
 \text{Lower bounds} & \type{K}, \type{L} & ::= & \type{T} \mid \bot \\
 \text{Type variable contexts} &  \Delta & ::= & \overline{\wildcard{X}{T}{L}} \\
 \text{Class declarations} &  D & ::= & \texttt{class}\ \exptype{C}{\ol{X \triangleleft T}} \triangleleft \type{N} \set{\overline{\type{T}\ f}; \ol{M}} \\
-\text{Method declarations} &  \texttt{M} & ::= & \generics{\ol{X \triangleleft T}} \type{T} \ \texttt{m}(\overline{\type{T}\ x}) = t \\
+\text{Method declarations} &  \texttt{M} & ::= & \texttt{m}(\overline{x}) = t \\
 \text{Terms} & t & ::= & x \\
-& & \ \ | & \texttt{new} \ \exptype{C}{\ol{T}}(\overline{t})\\
+& & \ \ | & \texttt{new} \ \type{C}(\overline{t})\\
 & & \ \ | & t.f\\
-& & \ \ | & t.\generics{\ol{T}}\texttt{m}(\overline{t})\\
+& & \ \ | & t.\texttt{m}(\overline{t})\\
 & & \ \ | & t \elvis{} t\\
 \text{Variable contexts} & \Gamma & ::= & \overline{x:\type{T}}\\
 \hline