% Add any packages and command declarations or \input{file} statements 
\documentclass{carnap-compact}

\usepackage{valep-macros}



\newcommand{\valeptex}{valep\TeX}



%