progress on collection logics