Collocation & Logic