Some more Set specs