Procedures are usually named according to the types they expect as arguments and the types they return.