% The following defines a command called ``\deduction'' that formats
% the hypothesis and conclusion of a deduction following the
% Chandy-Misra book style.
%
% Usage:  \deduction{hypothesis}{conclusion}
%
% It also defines a command ``\nomoredeductions'' that puts a little space
% after last ``\deduction'' in a proof.
%
% Also, a command called ``\noindentdeduction'' exists and should
% be used for deductions embedded in a description environment, that
% require no further indentation.  This command is a hack in the sense
% that conclusion can only be one line long because successive
% conclusion lines will not be flush left with first conclusion line.
%
% There is now a command called ``\testnoindentdeduction'' that fixes
% hack in \noindentdeduction.  I believe it works fine, and one day it
% should replace \noindentdeduction.

\newlength{\myparindent}
\addtolength{\myparindent}{\parindent}

\newlength{\hypline}
\addtolength{\hypline}{\textwidth}
\addtolength{\hypline}{-\myparindent}

\newlength{\concline}
\addtolength{\concline}{\textwidth}
\addtolength{\concline}{-2\myparindent}

\newcommand{\deduction}[2]{\medskip\parbox[t]{\hypline}{
#1
\\
\hspace*{\myparindent}\parbox[t]{\concline}{
, #2
}}

}

\newcommand{\nomoredeductions}{\medskip}

\newcommand{\noindentdeduction}[2]{
\par
\noindent #1
\\
\hspace*{\myparindent}
, #2
\par
}

\newcommand{\testnoindentdeduction}[2]{
\par
\noindent #1
\begin{list}{}{
\setlength{\topsep}{0pt}
\setlength{\parskip}{0pt}
\setlength{\leftmargin}{1.3\myparindent}}
\item , #2 \end{list}
}