Title: Logical studies