Module MemEmpty.Logic

module Logic: Qed.Logic