In Wikipedia is written that Gnome Shell in Gnome 3 uses Mutter window manager.
But ps x | grep mutter shows that Mutter is not running. Moreover I had experience with working Gnome Shell before I installed Mutter.
Does Gnome Shell really use Mutter? Which WM are used and which can be used with Gnome Shell?