\newcommand{\bi}[2]{#1}
\input{logikII}
