Logics Pure