Text this: Coalgebraic Geometric Logic: Basic Theory