The colons are not necessary here, and not in python, either. It was blindly copied from the ABC language (designed in the 70s for complete novices), where it made a little more sense because all keywords were in all caps and thus harder to read.