Function rule formulation