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