Something about logical states