Correct definition for ID
Correct computation of closure()