by using a variable restriction