Title: Logical constants and logical objects