Isn't there a shadow of #layer found in $PROVE ?