Relation between a Procedure and an Output of it.