Relation between a Procedure and an Input to it.