More on restriction and example