Times doesn't work, but in a different way
Implement times (damn, that was hard!)
Remove evidence of previous failed attempts at `times`
Tidy up `times`, reformat for compactness