diff --git a/dfn/ins.tex b/dfn/ins.tex
index ccc28cd..3b999af 100644
--- a/dfn/ins.tex
+++ b/dfn/ins.tex
@@ -11,10 +11,16 @@ For a glossary of insurance terms from the state of California,
 see~\cite{gls-ins-calif}.
 
 \begin{description}
+  \dt{all other perlis (AOP) deductible}
+  Synonymous with property deductible.
+
   \sigauth{NL}
   \dt{applicant}
   The intended policy owner.
 
+  \dt{cause of loss}
+  Basic, special, or broad.
+
   \sigauth{NL}
   \dt{DEFS}
   Direct-Applied Exterior Finish System; a type of building siding (compare to
diff --git a/dfn/spec.tex b/dfn/spec.tex
index 848d499..f664be9 100644
--- a/dfn/spec.tex
+++ b/dfn/spec.tex
@@ -99,6 +99,7 @@ specification to resolve implementation issues and should exercise that ability.
   \dt{$\blacksquare$}
   End of formal definition.
 
+  \sigauth{NL}
   \dt{$\lceil x\rceil$}
   The ceiling of $x$ (round up to the nearest integer).
 \end{description}