Consider the statement: "Each resource is either currently assigned to exactly one process or is available." Which of the following is appropriate for this statement?