topology: Sierpinski; name changes
group stuff