logical studies of in