-procedure that implements composition