gap> IsClosedManifold(Wtilde);

true
