What allows group law and group operations to interweave?