collection and log logics