Function rule and evaluation