prod function was still missing...