Example: expressions using value functions