Text this: On non-compact logics in NEXT(KTB).