I wonder if, somewhere, sometime, there was a furious debate over whether it should be :) or (: