proexemption

not defined yet