Email Record: Logics without existence assumptions.