# generators of the restriction are in fact standard
