pure logics