logical constants