fun {Multiply X Y} X * Y end