strict sumOf and productOf