Text this: Logics without existence assumptions.