Attributes . Product function / Short-circuit and overload proof: . Values